Steve Reeve: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

The Language of First-Order Logic, including the Macintosh Program Tarski's World.by Jon Barwise; John Etchemendy

Review by: Doug Goldson and Steve Reeves

Journal:

The Philosophical Quarterly

Year:

1994

Language:

english

File:

PDF, 434 KB

english, 1994

2

Generating Obligations, Assertions and Tests from UI Models

Bowen, Judy, Reeves, Steve

Journal:

Proceedings of the ACM on Human-Computer Interaction

Year:

2017

Language:

english

File:

PDF, 781 KB

english, 2017

3

[Society of Petroleum Engineers IADC/SPE Drilling Conference - Orlando, Florida, USA (2008-03-04)] IADC/SPE Drilling Conference - High Speed Telemetry Drill Pipe Network Optimizes Drilling Dynamics And Wellbore Placement

Ali, Tarab H., Sas, Matthew, Hood, James Albert, Lemke, Scott R., Srinivasan, Ananth, McKay, Jim, Mondragon, Carlos, Townsend, Steve C., Edwards, Stephen, Fereday, Kelli S., Hernandez, Maximo, Reeves,

Language:

english

File:

PDF, 881 KB

english

4

Action learning in management education

O’Hara, Suzanne, Webber, Trix, Reeve, Steve

Journal:

Education + Training

Year:

1996

Language:

english

File:

PDF, 136 KB

english, 1996

5

[ACM Press the SIGCHI conference - Montréal, Québec, Canada (2006.04.22-2006.04.27)] Proceedings of the SIGCHI conference on Human Factors in computing systems - CHI '06 - Designing for the opportunities and risks of staging digital experiences in public settings

Benford, Steve, Crabtree, Andy, Reeves, Stuart, Sheridan, Jennifer, Dix, Alan, Flintham, Martin, Drozd, Adam

Year:

2006

Language:

english

File:

PDF, 888 KB

english, 2006

6

[ACM Press the SIGCHI conference - Portland, Oregon, USA (2005.04.02-2005.04.07)] Proceedings of the SIGCHI conference on Human factors in computing systems - CHI '05 - Designing the spectator experience

Reeves, Stuart, Benford, Steve, O'Malley, Claire, Fraser, Mike

Year:

2005

Language:

english

File:

PDF, 259 KB

english, 2005

7

Action learning as leverage for strategic transformation: a case study reflection

Suzanne O'Hara, Lily Murphy, Steve Reeve

Journal:

Strategic Change

Year:

2007

Language:

english

File:

PDF, 187 KB

english, 2007

8

The Temple Bombing, and: The Gangster of Love, and: Atticus, and: Osler's Web: Inside the Labyrinth of the Chronic Fatigue Syndrome Epidemic, and: Slowness, and: So Long, See You Tomorrow, and: The Journals of the Lewis and Clark Expedition, and: The Cloister Walk, and: Fame and Folly, and: The Last Don, and: Th

Harmon, Kristen, Bro, Seth, Steck, Jim, Weinberg, Steve, Somerville, Kris, Morgan, Speer, Reynolds, Gordon, Somers, Evelyn, Hamilton, Reeves, Quinn, Carol, Johnson, Willoughby, Rogers, Brett

Journal:

The Missouri Review

Year:

1996

File:

PDF, 959 KB

1996

9

A somatic GNA11 mutation is associated with extremity capillary malformation and overgrowth

Couto, Javier A., Ayturk, Ugur M., Konczyk, Dennis J., Goss, Jeremy A., Huang, August Y., Hann, Steve, Reeve, Jennifer L., Liang, Marilyn G., Bischoff, Joyce, Warman, Matthew L., Greene, Arin K.

Journal:

Year:

2017

Language:

english

File:

PDF, 655 KB

english, 2017

10

Readers Write

Rosemarie Reeves, Tatyana Jarowski and Steve Engkilterra

Journal:

Mathematics Teaching in the Middle School

Year:

2001

Language:

english

File:

PDF, 1.91 MB

english, 2001

11

[IEEE 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON) - Newark, CA, USA (2019.4.4-2019.4.9)] 2019 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPCON) - Proof-of-Learning: A Blockchain Consensus Mechanism Based on Machine Learning Competitions

Bravo-Marquez, Felipe, Reeves, Steve, Ugarte, Martin

Year:

2019

Language:

english

File:

PDF, 138 KB

english, 2019

12

Estimating bed requirements for an intermediate care facility

Martin Utley, Steve Gallivan, Katie Davis, Patricia Daniel, Paula Reeves, Jennifer Worrall

Journal:

European Journal of Operational Research

Year:

2003

Language:

english

File:

PDF, 324 KB

english, 2003

13

Revising Z: Part II – logical development

Martin C. Henson, Steve Reeves

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 164 KB

english, 1999

14

Book reviews

Hebbert, Michael, Hanchett, Thomas W., Hamnett, Steve, Zonn, Leo, Airs, Malcolm, Thomas, Huw, Mandelbaum, Seymour J., Moehring, Eugene P., Reeve, Alan, Meller, Helen

Journal:

Planning Perspectives

Year:

1995

Language:

english

File:

PDF, 1.19 MB

english, 1995

15

[ACM Press the SIGCHI Conference - Paris, France (2013.04.27-2013.05.02)] Proceedings of the SIGCHI Conference on Human Factors in Computing Systems - CHI '13 - see me, feel me, touch me, hear me

Fosh, Lesley, Benford, Steve, Reeves, Stuart, Koleva, Boriana, Brundell, Patrick

Year:

2013

Language:

english

File:

PDF, 1016 KB

english, 2013

16

Editorial

BRODA, KRYSIA, D'AGOSTINO, MARCELLO, GORÉ, RAJEEV, JOHNSON, ROB, REEVES, STEVE

Journal:

Logic Journal of IGPL

Year:

1995

Language:

english

File:

PDF, 54 KB

english, 1995

17

Data refinement and singleton failures refinement are not equivalent

Steve Reeves, David Streader

Journal:

Formal Aspects of Computing

Year:

2008

Language:

english

File:

PDF, 195 KB

english, 2008

18

[IEEE 2015 24th Australasian Software Engineering Conference (ASWEC) - Adelaide, SA, Australia (2015.9.28-2015.10.1)] 2015 24th Australasian Software Engineering Conference - Design Patterns for Models of Interactive Systems

Bowen, Judy, Reeves, Steve

Year:

2015

Language:

english

File:

PDF, 679 KB

english, 2015

19

SPIE Proceedings [SPIE Microelectronic Manufacturing - Austin, TX (Tuesday 18 October 1994)] Manufacturing Process Control for Microelectronic Devices and Circuits - Process control using new approaches in plasma diagnostics

Reeves, Steve, Fullwood, Clayton, Turner, Terry R., Sabnis, Anant G.

Year:

1994

Language:

english

File:

PDF, 804 KB

english, 1994

20

[ACM Press the 2017 CHI Conference - Denver, Colorado, USA (2017.05.06-2017.05.11)] Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems - CHI '17 - A Survey of the Trajectories Conceptual Framework

Velt, Raphael, Benford, Steve, Reeves, Stuart

Year:

2017

Language:

english

File:

PDF, 973 KB

english, 2017

21

Generic Tools via General Refinement

Steve Reeves, David Streader

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 315 KB

english, 2008

22

Contexts, refinement and determinism

Steve Reeves, David Streader

Journal:

Science of Computer Programming

Year:

2011

Language:

english

File:

PDF, 426 KB

english, 2011

23

Identification and cellular localisation of voltage-operated calcium channels in immature rat testis

Alessandra Fragale, Salvatore Aguanno, Matthew Kemp, Matthew Reeves, Kerry Price, Ruth Beattie, Peter Craig, Steve Volsen, Emanuele Sher, Angela D’Agostino

Journal:

Molecular and Cellular Endocrinology

Year:

2000

Language:

english

File:

PDF, 2.78 MB

english, 2000

24

Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010

Frappier, Marc, Glässer, Uwe, Khurshid, Sarfraz, Laleau, Régine, Reeves, Steve

Journal:

Science of Computer Programming

Year:

2013

Language:

english

File:

PDF, 137 KB

english, 2013

25

[ACM Press the ASWEC 2015 24th Australasian Software Engineering Conference - Adelaide, SA, Australia (2015.09.28-2015.10.01)] Proceedings of the ASWEC 2015 24th Australasian Software Engineering Conference on - ASWEC ' 15 Vol. II - Using State Machines for the Visualisation of Specifications via Refinement

Pilbrow, Colin, Reeves, Steve

Year:

2015

Language:

english

File:

PDF, 1.62 MB

english, 2015

26

Effectiveness and Safety of Oral Anticoagulants among NVAF Patients with Obesity: Insights from the ARISTOPHANES Study

Deitelzweig, Steve, Keshishian, Allison, Kang, Amiee, Dhamane, Amol D., Luo, Xuemei, Li, Xiaoyan, Balachander, Neeraja, Rosenblatt, Lisa, Mardekian, Jack, Pan, Xianying, Fusco, Manuela Di, Garcia Reev

Journal:

Journal of Clinical Medicine

Year:

2020

File:

PDF, 2.42 MB

2020

27

Epitaxial growth and properties of GdN, EuN and SmN thin films

Franck Natali, Bart Ludbrook, Jules Galipaud, Natalie Plank, Simon Granville, Andrew Preston, Bin Le Do, Jan Richter, Ian Farrell, Roger Reeves, Steve Durbin, Joe Trodahl, Ben Ruck

Journal:

physica status solidi (c)

Year:

2012

Language:

english

File:

PDF, 444 KB

english, 2012

28

Editorial

Boiten, Eerke A., Derrick, John, Reeves, Steve

Journal:

Formal Aspects of Computing

Year:

2014

Language:

english

File:

PDF, 56 KB

english, 2014

29

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Feature Refinement

Reeves, Steve, Streader, David

Year:

2007

Language:

english

File:

PDF, 360 KB

english, 2007

30

[ACM Press the 32nd annual ACM conference - Toronto, Ontario, Canada (2014.04.26-2014.05.01)] Proceedings of the 32nd annual ACM conference on Human factors in computing systems - CHI '14 - Gifting personal interpretations in galleries

Fosh, Lesley, Benford, Steve, Reeves, Stuart, Koleva, Boriana

Year:

2014

Language:

english

File:

PDF, 981 KB

english, 2014

31

REGIONAL MODELING OF SAN ANTONIO RIVER BASIN IN TEXAS

Su, Yu-Chun, Altman, Duke, McArthur, Karl, Shirley, Brian, Lee, Ka-Leung, Gonzales, Mike, Graham, Steve, Reeves, Rebecca

Journal:

Proceedings of the Water Environment Federation

Year:

2004

Language:

english

File:

PDF, 1.51 MB

english, 2004

32

General Refinement, Part One: Interfaces, Determinism and Special Refinement

Steve Reeves, David Streader

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 514 KB

english, 2008

33

Computer support for students’ work in a formal system: MacCPICT

Journal:

International Journal of Mathematical Education

Year:

1995

Language:

english

File:

PDF, 1.01 MB

english, 1995

34

Observations on the re-emergence of a binary system in UK universities for economics degree programmes

Talbot, Steve, Reeves, Alan, Johnston, James

Journal:

Year:

2014

Language:

english

File:

PDF, 143 KB

english, 2014

35

[IEEE 2019 26th Asia-Pacific Software Engineering Conference (APSEC) - Putrajaya, Malaysia (2019.12.2-2019.12.5)] 2019 26th Asia-Pacific Software Engineering Conference (APSEC) - A Coloured Petri Net Approach to Model and Analyze Safety-Critical Interactive Systems

Jaidka, Sapna, Reeves, Steve, Bowen, Judy

Year:

2019

File:

PDF, 5.03 MB

2019

36

A Versatile Remediation Module for Remote Repair of Spent Nuclear Fuel and High-Level Waste Storage Containers

Chatzidakis, Stylianos, Giuliano, Dominic, Slade, Jeremy, Tang, Wei, Miller, Roger, Reeves, Steve, Scaglione, John, Howard, Robert

Journal:

Nuclear Technology

Year:

2020

File:

PDF, 1.82 MB

2020

37

General Refinement, Part Two: Flexible Refinement

Steve Reeves, David Streader

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 395 KB

english, 2008

38

Stepwise Refinement of Processes

Steve Reeves, David Streader

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 370 KB

english, 2006

39

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || Learn and Test for Event-B – A Rodin Plugin

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 264 KB

english, 2012

40

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || A Practical Event-B Refinement Method Based on a UML-Driven Development Process

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 236 KB

english, 2012

41

SPIE Proceedings [SPIE Medical Imaging 1996 - Newport Beach, CA (Saturday 10 February 1996)] Medical Imaging 1996: Image Display - UWGSP8: a programmable ultrasound subsystem for native image processing

Basoglu, Chris, Reeve, Jeff, Kim, Yongmin, Marquis, Steve, Kim, Yongmin

Year:

1996

Language:

english

File:

PDF, 528 KB

english, 1996

42

Refinement for User Interface Designs

Judy Bowen, Steve Reeves

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 563 KB

english, 2008

43

Teaching formal methods lite via testing

Mark Utting, Steve Reeves

Journal:

Software Testing, Verification and Reliability

Year:

2001

Language:

english

File:

PDF, 166 KB

english, 2001

44

[ACM Press the 4th ACM SIGCHI symposium - Copenhagen, Denmark (2012.06.25-2012.06.26)] Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems - EICS '12 - Modelling user manuals of modal medical devices and learning from the experience

Bowen, Judy, Reeves, Steve

Year:

2012

Language:

english

File:

PDF, 618 KB

english, 2012

45

[ACM Press the 5th ACM SIGCHI symposium - London, United Kingdom (2013.06.24-2013.06.27)] Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive computing systems - EICS '13 - Modelling safety properties of interactive medical systems

Bowen, Judy, Reeves, Steve

Year:

2013

Language:

english

File:

PDF, 692 KB

english, 2013

46

TMDLS AND WATER QUALITY REGULATIONS – BRINGING HABITAT INTO THE EQUATION

Reeves, Sarah, Paulson, Cynthia, Canton, Steve, Moore, Tim

Journal:

Proceedings of the Water Environment Federation

Year:

2001

Language:

english

File:

PDF, 150 KB

english, 2001

47

Long-term variations in solar wind velocity and radiation belt electrons

Reeves, Geoff, Morley, Steve, Cunningham, Greg

Journal:

Journal of Geophysical Research: Space Physics

Year:

2013

Language:

english

File:

PDF, 2.11 MB

english, 2013

48

[Lecture Notes in Computer Science] Abstract State Machines, Alloy, B, VDM, and Z Volume 7316 || A Pattern for Modelling Fault Tolerant Systems in Event-B

Derrick, John, Fitzgerald, John, Gnesi, Stefania, Khurshid, Sarfraz, Leuschel, Michael, Reeves, Steve, Riccobene, Elvinia

Year:

2012

Language:

english

File:

PDF, 638 KB

english, 2012

49

Reliable computation with unreliable computers

Mills, Rob, Brown, Andrew D., Reeve, Jeff S., Furber, Steve B., Dugan, Kier James

Journal:

IET Computers & Digital Techniques

Year:

2015

Language:

english

File:

PDF, 701 KB

english, 2015

50

[ACM Press the 3rd ACM SIGCHI symposium - Pisa, Italy (2011.06.13-2011.06.16)] Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems - EICS '11 - UI-driven test-first development of interactive systems

Bowen, Judy, Reeves, Steve

Year:

2011

Language:

english

File:

PDF, 808 KB

english, 2011

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски